es{-}real\{i:l\}(${\it es}$.$P$(${\it es}$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$R$:es\_realizer\{i:l\}. R{-}realizes\{i:l\}($R$; ${\it es}$.$P$(${\it es}$))